COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00035 ENDMK
C⊗;

2nd Drawer - lst file - west wall

MCCARTHY NOTES

Patience
Performances in Dinkelspiel Auditorium; November Sat. 16, Sun. 17,
Fri. 22, Sat. 23 at 8:00pm; Matinee Sun. November 24 2:30 pm.

Tickets $6.50 general; $4.00 students;
at Tresidder Union Box Office (497-4317) or Stanford Barn.


jmc - First of all it's "it's" not "its".  Second the Random House dictionary
is what the name suggests.  There are two meanings, and English will be
a better communication medium if people adhere to the meaning of "flout"
as "ostentatiously disdain or disobey" and "flaunt" as "ostentatiously display".

Eric Marti, 805 963-5993 Reason magazine

Cafe Parisienne, 7:30, 3100 Washington Blvd. Marina del Rey, cross Lincoln

Donald McIntosh, 606 436-5486
The Ten Commandments Fund
Box 28, Bulan, Kentucky 41722


Jay Perrine, Econ Inc. 408 249-6364
is looking for an AI consulting firm.
User of "model" would answer questions about payload, etc.
and it would say what he needs in the way of boosters and
what it would cost.

L.A. airport Sheraton, 213 642-1111 room 1477

CAte
tax running out Allegheny power
Delver Allegheny power
bring Cate copy of dividend reinvestment



Garo Keremidjian, CIA project for AI panels, session on expert systems
technology, common sense reasoning, propose week of Feb 17
one day session, 30 to 45 minute lecture, related to description of
interests given in advance.  I said it would have to be Monday.

Jan 15 discussion with John Hopcroft, roboticist
His colleagues are Dean Kraft and Christoph Hoffman
A valve takes 500 algebraic equations
Their recent work is on blending surfaces, i.e. fillets.
He sees himself better at "working for someone" than administering.
He doesn't see expert systems contributing to robotics at present.
papers:
Automatic surface generation in computer aided design - with Hoffman
The challenge of robotics for computer science - with Kraft

Jan 15 with Ralph
machine independent library of supervisor calls - interface spec.
Mike Nielsen (for Brian Reid) implemented Unix library in a non-unix
operating system which permitted C, editor, etc.
Systems should work on a variety of machines (e.g. Suns and Microvax
and now PC-RT).

ebos may not be compatible with goal of making constant system
whose manuals can be bought at the Bookstore. - Les

Sun network file system - Network File Server

855-0600,408 288 4053, 

Javed Khan,288-4178 info about pc-rt
Announcement seminar
Fri, Jan 24, 9am, 2077 Gateway Pl. 4th floor, across from Red Lion Inn

desktop model 10, 1 megabyte to 3, 40 meg disk;
 2 model 20, 1 to 3, more disk to 180, model 25, 2 to 4 meg
70 to 210, model 6151 model 10, 6150 model 20 and 25
streaming tape drive, 55meg backup tape
3 types of graphic, 2 monochrome and one color, all are APA
12, 14 and 15, extended 1000 by 768, 720 byy 512 ordinary,
1.6 to 2.1 mips, models 10 and 20 march 28, model 25, 3rd quarter
only advanced monochrome is available now
unix, C compiler,


Art Lee, alee@sushi 424-8962 wants a lisp project
hx.hal@forsythe
test
This is John McCarthy who is JMC@SU-AI.ARPA.

George Menas, Steven Bryan friend of David Chudnovsky

914 945-1233,
Computers and Mathematics, July 29-Aug 2

For correction to applications paper.
011 31 71 219479, Elma Kleikamp
       20 5803911

100n Rowe 213 472-3566, 743-8326 school

at most $100K for first year, start summer.
halpern@ibm-sj

Chris Garcia, Time

Eric Mathre, 7-1055
Randy Melen, 7-1055, can help with RT



robert ashenhurst 312 962-7454, u of chicago
promised 10-15 pages on generality in AI for Turing lecture reprint volume



J. R. Pompa, ex G.E., Honeywell
Argonne

encore strategic computing
mips
ultramax
shared memory
reduced instruction
gallum arsenide, risc mips + 1.25 micron visic cmos
common sas 
front ends 
100 mips with GAs
mipsx, handles cache better, early comm
mach to be standard in unix


For David Skeen, See "The Structure of Microcomputer File Systems"
by Donald Golden and Michael Pechura, CACM 1986 March, p. 222.  It
concerns using files made by other computers, and it may have useful
references or the authors may know something useful.

rick rashid @ cmu knows about mach

Letter to Donald Regan supportying Dixie Lee Ray for Sciece Adviser.

Chris Poda, Sytek, 966-7300 x1132, x400 protocol



cv via telex, keep ticket

grace smith, peter smith los altos

Technical accomplishments
using of programming computers

p. 149 taking vote, p. 154, Backus and Bauer at the blackboard
Federal express, 200-5354-2,
Roxy France
Time-Life Books
777 Duke St.,Room 311A
Alexandria, VA 22314
703-838-7015,7738 next week

Dantzig afternoon 31st 
Gregory
new trends in mathematics and computers
haken
david
barry trager


Spektrum der Wissenschaft, telex 841 461842
call back sdwhd d, send attention Claus Firchow

Bill Webb and Alex Morrow at IBM ACIS development

Rudolph Bayer, Munich is John Nafeh's consultant.

mohawk, cdc sorcim, contract with Siemens, CHILL compiler for switching
supercalc, Command Software → word processor, C for 8086
Simon Reyfman, Schlumberger (home: 494-0695) (office: 408 998-0123 x2278)
Reid Cummer cdc Moffett blvd. 408 744-5000, June White Rolm

$2079 each way, $4522
305 583-9318 Sue Walker Toledo
George Dantzig

Matt Rothman, Business Week profile of Raj Reddy

Mark Johnson, asst book editor, Mercury News, 408 920-5825
$150 for Roszak review due by the middle of May

Linkoping trip
1. They still need hat and ring size, and they can't interpret American
hat sizes.

2. Sandewall home phone - 13 12 12 64

3. lecture Sat. May 31, degree June 2

4. I said we'd come on the 29th or 30th and stay a week.

5. I gave the title "Logic and artificial intelligence"

6. The best way to come is via Copenhagen to Norrkoping.  They'll
meet us if notified.

Pat Smith, mgr distributed systems
Frank Tung, exploratory systems
1030 Page Mill, 1:30

Ann Gretolo 789-7763, intercepted call to Peled's number

p43
lc1 <filename>

(compile-file "alt" :o-file t :c-file t :h-file t :data-file t)

psa 8 9-10:10, AA36 1pm - 8:37, UA57, 5:20-7:35 alt via chi, UA 9:50-12:00

May 7
John Cocke says that Andy Heller would like to know about C problem.
We should check into Spector Lisp.

Kyoto Common Lisp
comes from 
IBUKI
399 Main Street
Los Altos, CA 94022
949-1126


hobbs 859-2229


40 pages 8.5 x 11, 2000 copies $1500 printing and binding
12.5 cents per copy
typesetting professionally, $1600
mailing $250
5 thousand circulation leads to about doubling costs, i.e. to
20 thousand per year.

circulation, $500 for $200
notifications of impending expiration - 
creating circulation
Beckmann?
promotion is about half the cost

SAS Ticket counter
380 World Way
Bradley International Terminal
Los Angeles, CA 90045

Hussein's reply
bboard.txt[2,2]/117p/987l

Colleen Crangle
IMSS room 33, Ventura Hall
works for Suppes, interested at his behest in Qlisp

Sue Corneille, Imperial College, 1 589-5111 x5011

Dantzig title:
Impact of linear programming on computer development.

Lucy Habib, 968-7650, 940-2324

p.157 request for GNU eMAX manual

Hyatt 4219 El Camino, 493-8000, x2544

naxos
548-1361, Stallman, 

Shankar 408 559-3291

6pm Friday, President's House, CMU
Raj, Kahn, JMC, Cerf, Danny Hillis, Don Lindberg, Jerry Popek

202 337-7600 rm 310

David Francis, sitn@sushi, 723-3816, handout coordinator

Date: Thu 14 Aug 86 19:40:02-EDT
From: Paul G. Weiss <PGW@XX.LCS.MIT.EDU>
Subject: Fixed Points

The familiar non-trivial LISP fixed point is:

The following expression is the one that was given.  Fed to Maclisp,
it indeed returns itself - converted to caps.
((lambda (X) (list X (list (quote quote) X)))
 (quote (lambda (X) (list X (list (quote quote) X)))))


What can be done for Prolog?  Ideally, I would like to find a
one-clause predicate fixed/1, with the property that fixed(Term)
is true of the Term which is the clause that defines fixed/1.

abe ? might know about von N
Abe Taub, ucb, Babbage 612 624-5050, Arthur Norberg
William Aspray

The Swedish referendum was March 23, 1980.

Bird, Reynoso and Grodin are particularly bad, but Tom Sowell recommends
voting against all but Lucas and Panelli.

Whaley, Al, 217 367-1624, 323-9492

Chen, Wen-chi
3386 Tryna Dr.
Mountain View, CA 94040
interested in meetings on computer architecture

Peter Nador
U.N. Development Program
Office for Project Execution
212 754-4924
1 United Nations Plaza
TM 920, New York, N.Y. 10017

Cont. 10:25 arr. 11:30, cont. 865
psa 216 3:25-4:25

Gladys Dickerson Baluda
Eleanor Harris 202 632-2949
Soviet Desk 202 632-3456 or 7
Ruth Nelson at SLAC
John Zimmerman

Mexican chocolate Ibarra brand
an octet of octagonal boxes

spad@yorktown
info about Imagen and Apple costs

John Justeson, advisee, 3-4642
Phd in anthro, worked on Mayan writing
will drop by c.v.
gave detailed advice
learning, inference and language are his interests,
so why should he study hardware?

36225 206 335-2491 Dirk Hubregs

Jan Van Gael, Belgium, advisee, Sept 26
Leuven U., eng. degree in cs
nat. lang and vision
rather practically oriented, knew exactly what he
wanted to take, substituted Shapiro and expert
systems for the Manna courses.
Chris Rogers, advisee, will come back at end of quarter, ai is his interest.

Greg D. Schecter, advisee from michigan, knows what he wants, Sept. 26

Paul? Rinard is the new PhD student I talked to at Golub's party.

cs306 tutor at HP
Dirk Hubregs, 206 335-2491, HPLSLA!DIRKH


Lunch with Tom Hartnett and Nafeh and Hurd.
Contract to put prolog interface on well known database managers
David Scott Warren, in technical charge

FIND/X: WITHIN LINE IN EXCH.TXT[P,DOC];
find:within line in phon[1,jmc]

Tim Fernando, phd
bs, math caltech
year at cmu with Scott
paper on Cook's notion of relative completeness

Gaudinat, Bruno, France, ecole polytechnique
lisp, prolog, expert sytems

David Teisch, Texas A&M
Lockheed, business computing
Honors co-op, switching to full time

Tandberg, Olof, Swedish Academy
Rosenblith 617 253-1990
Perhaps we should wait and see what the U.N. does.

Dr. O. T. Tandberg
Royal Swedish Academy
Box 50005
S-10405
Stockholm, SWEDEN
Telephone: 468150430
1718 10:55 11:59
also Inge Fischer-Jalmars is the expert

Ershov
Earth Stewards, 20 Soviet teenagers with two adults,
us. oct 28 in wash, week in bay,
Joan Spannagel, 968-7925 daytime number
Chet Watson, 381-8316, Global communications
staying chez Walter and Kay Hays
355 Parkside Dr. PA, 493-0788
near Alma and Oregon
prefers Mon. the 10th to Friday the 7th for seminar
857-1428,Judy Murphy, Diana Glasgow is organizing program

The mathematician recommended by Feferman is Brumfiel.
It was Ilan Vardi who taught out of Whittaker and Watson.

Henry Schein
5 Harbor Park Drove,
Fort Washington, ny 
11050
ac adaptor 100-0693
100-8904
100-0999 for the paper

That's Robert Sheldon Stein, DDS.
50 Staniford St., Boston, MA 02114
523-5451


Room 501a, bldg 500, 4:00

Wyatt Leung, EE student taking course from R. Textor came by to ask
about what was feasible in AI so he could write about social consequences.
Harangued him about harmful effects of technology assessment.

knuth, suppes, 

Daniel Verney will send me a Grenoble prolog for the Apollo
Mirko Juricev, 818 884-5515

Robert Hof, Times-Trib
asked my opinion of Xerox project to use AI to teach illiterates coming
out of high school.  I wished them luck and referred them to Suppes
for more information about what has been tried.

Boaz@csli, Lazinger
Elron, Zohar Ofir, Tel Aviv → Rosh and Cogiten are companies
Moshe Ben Basat, Tel Aviv U.

Mark Porter, advisee,utexas 82 bs in ee, trilogy → dec, took ee and cs course nco
cad for vlsi, software design of high speed tester
cs135 ← cs237 ?
interests go towards research in ai
He will bring it back and I'll sign it.

Jerry Peterson is the new Ford Inference Board member
John Glenn is the Palo Alto investor who attends Inference Board meetings

Greg O'Hair
Flinders, S. Australia, philosopher, Nov 21, wants to sit in on CS326

buy 1000 shares Gulf States Utilities at 7 5/8 with intention to
sell 10 1/2 stock for loss.

Mesa limited partnership, buy $12K worth.
T. Boone Pickens,

Dawkins, Richard - The Blind Watchmaker
McMahon and Bonner - On size and life
1.1) McMahon, Thomas A., ON SIZE AND LIFE (New York : c1983.)
       LOCATION: QH351.M34 1983: Green Stacks; Biology


Call from Linda Tarnow, Libertarian Party convention
New tools of freedom, world-wide liberation whether they want it or
not.  How and why computer technology promises to be incisive tools
for the spread of liberty, especially in the most oppressive police
states.

cbcl reprint
Please send this reprint to:
Lee Mantelman
Senior Editor
data Communications Magazine
1221 6th Ave., 41st Floor
New York, NY 10020

Colman or Kolman, Son of the Revolution
Mathematical manuscripts of Karl Marx

University→Bay→Gloria→Grace→2nd house on left→Hazel

6 and 7
buchanan, reddy, whittaker, engelhart,(halpern,vardi,fagin) schorr,
Carrie Cochran, cbs,
avoid white shirt , two of each
marriott michigan ave 6:30 dinner
send bio to ellie
Tom Engel Productions (312) 664 8141.

Final version Kansas frame paper jan 15

Brochure copy due, 7 Jan., abstract 

Filman
wics
Bruce Buchanan, historical
aaai papers
metadendral
Beach and Filman background, know repres., search,
Jim Bennett classification, a la Clancey
classify, analyze, vs. construct, 
Sanjay Mittal, Xerox, aaai paper, synthesis
know acquis. Shortliffe
explanation, Bill Swartout, isi
Mike Williams and Marilyn Stelzner, user interface
Johan de Kleer, ATMS
Nancy Martin, software eng. John Kunz methodology, Denny 
Brown, getting and maintaining stuff in the field

Simpson
	demos
find task context
need applied motivation for basic ideas
examples of task
	definite demo of common sense database
aiming toward demo in jan 88 that will do xxx
what's the mode evaluation technical progress
definite functional capabilities demoed at given times

How does the holds predicate get established, perception?

what domain?

How exactly to transfer ideas?
mcc is regarded as another research group
even in basic research there is a need computation

Processes occurring in time was the best part of the proposal, but
it would be better if cast in some domain.  That's Shoham's part.
Jim Tagnalia likes directed research.  Show me the steps that
this thing takes to get it into practical military use.

They still want to support theoretical AI research, but ...

Phone call with Amarel, Nilsson, Earnest:
1987 Jan 8, 1230

continue support basic work
in addition like connection with technology development

Les will co-ordinate
identify sub of jmc with sri, rockwell


1987 Jan 9, subscribed to Newsweek for two years for $41.50.

common sense in space

whole new opportunities

Jan 22 - interviewed by Richard Rawles of pc-world about feasibility of
sdi software for article to appear in May.

Jan 31
606 269-2170 Sarah house sitting for up to a week c/o Stephanie Russo

Ron Gatterdam, 907 474-6174, bitnet, ffrwg@alaska

Feb 5, 12:30
Jeffrey Canin from Hambrecht and Quist called to ask questions about MAD.

Hurd valentine party 2-4 Saturday, 965-7700, ask for Sherry

Paul Schindler, Information Week, Sr. editor

John Woodfill re context Feb 10 Genesereth student
wants context notes

ra
Please phone
the Greyhound bus terminal in Mountain View to see if they
have Carolyn's bag.  I suppose they telephoned, but ...
06721698 5 = Greyhound bill number, to get Carolyn's bag

That was Ralph Landau with whom I had lunch.

password=fortune

Jim Browne 471-9579, 9505
browne@utexas-20

buckley comments
combine tasks

dates on milestones


Date: 10 Mar 87 11:55:40 EST
From: Karen.Olack@h.cs.cmu.edu
Subject: Seminar - Multilisp (CMU)


Speaker:        Robert Halstead
Date:           March 16, 1987
Time:           2:00 p.m.
Place:          Wean Hall 8220
Topic:          Multilisp:  A Language for Parallel Symbolic Computing

                                ABSTRACT

Multilisp is an extension of Scheme with additional operators and
additional semantics for parallel execution.  These have been added
without removing side effects from the language.  The principal
parallelism construct in Multilisp is the "future," which exhibits some
features of both eager and lazy evaluation.  Current work focuses on
making Multilisp a more humane programming environment, on expanding the
power of Multilisp to express task scheduling policies, and on measuring
the properties of Multilisp programs with the goal of designing a
parallel architecture well tailored for efficient Multilisp execution.

Multilisp has been implemented, and runs on the shared-memory
Concert multiprocessor, using as many as 27 processors.  The
implementation uses interesting techniques for task scheduling and
garbage collection.  The task scheduler helps control excessive resource
utilization by means of an unfair scheduling policy; the garbage
collector uses a multiprocessor algorithm modeled after the incremental
garbage collector of Baker.

The talk will briefly describe Multilisp, discuss the areas of
current activity, and indicate the future direction of the project in
the areas of language design, application development, and
multiprocessor architecture.
                         John M. Mellor-Crummey
                        University of Rochester
            "Parallel Program Debugging with Partial Orders"

Parallel programs are considerably more difficult to debug than
sequential programs, because successive executions of a parallel program
often do not exhibit the same behavior.  Instant Replay is a new
technique for reproducing parallel-program executions.  Partial orders
of significant events are recorded during program execution and used to
enforce equivalence of execution replays.  This technique (1) requires
less time and space to save information for program replay than other
methods, (2) is independent of the form of interprocess communication,
(3) provides for replay of an entire program, rather than individual
processes, (4) introduces no centralized bottlenecks, and (5) does not
require synchronized clocks or globally-consistent logical time.  Some
performance results of a prototype on the BBN Butterfly [TM] Parallel
Processor will be presented, and it will be shown how Instant Replay can
be used in the debugging cycle for parallel programs.

When I saw your message, I thought it wasn't Nash, and my candidate was
Hilaire Belloc, so I looked in the Oxford Book of Quotations index under
"pelican" and found Merritt.  I never heard of him, and that's the only
quote from him in the book, so I guess he was a flash in the pan.  He was
listed as born in 1879 and so preceded Nash by perhaps a generation.
Actually, it seems to me that the limerick in question is not in Nash's
style, who maybe didn't write limericks and formed exotic rhymes
differently, and that its style was more common in the humorous verse of
the late nineteenth and early twentieth century.  However, I don't know
enough about poetic style to back up this impression.

Mar 20
Erann Gat, cs
Forrest Norrod, ee
of Virginia Tech asked about modal logic in 1st order logic

planlunch monday

northern illinois

u. of miami, jan 13 letter about visas, acm - more biography, monday april 6
929-8553, 280-2123,
cate, april 6

need to find out about how to send messages to Sloman, etc. msg.msg[1,jmc]/14p

Mike Kirsh, a.p. Pittsburgh, re Moravec ideas, 412 281-3747,

ua baggage 800 221-6903

lisa Hazen,acm, apr 14, 212 280-2123, 929-8553

chudnovsky
journal of complexity

3-1348, Staar, fri may 1, Joyce cerwin, re dinner May 1

Vladimir Alexanyan
His office numer 424-8777, his home number 949-5383.

Pape, Jerry	symbolic systems advisee, j.jpwiz@lear, 323-3974
	Pape Computers, Ace Quality Assurance
Please return her call and see if you can satisfy her.
869-7440, robin albert, acm

4.1) Langer, Jonas. THE ORIGINS OF LOGIC (Orlando [Fla.] : 1986.)
       LOCATION: BF723.R4L36 1986: Green Stacks

Event Knowledge.  Structure and Function in Development. Katherine
Nelson in collaboration with 11 others.  Erlbaum.
1) Title: Event Knowledge Structure and Function in Development
1.1) Nelson, Katherine. EVENT KNOWLEDGE (Hillsdale, N.J. : c1986.)
       LOCATION: BF723.C5N44 1986: Green Stacks